<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
  "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">

<html xmlns="http://www.w3.org/1999/xhtml"
      xmlns:py="http://genshi.edgewall.org/"
      xmlns:xi="http://www.w3.org/2001/XInclude">

      <xi:include href="master.html"/>
      <xi:include href="menu_analizadores.html"/>

    <head>
          <meta content="text/html; charset=UTF-8" http-equiv="content-type" py:replace="''"/>
          <title>Opciones de Alfabetos para ${analizador.nombre_analizador_lexico}</title>
    </head>

    <body>

            <h2>Opciones de Alfabetos para <div style="color:green"> ${analizador.nombre_analizador_lexico}</div></h2>	
            ${menu_superior_agregar_alfabetos(analizador.id_analizador_lexico)}

	    <table border="1" width="100%">
		<tr style="color: purple; font-size: 11pt" align="center" >
                    <th width="40%" align="center">Nombre</th>
                    <th width="48%" align="center">Definicion</th>
		    <th width="12%" align="center">Asignar</th>		
		</tr>

		<py:for each="alfabeto in alfabetos">
			<tr>
			    <td width="40%" align="left">${alfabeto.nombre_alfabeto}</td>
			    <td width="48%" align="left">${alfabeto.definicion_alfabeto}</td>
			    <td width="12%" align="center"> 
				 <a href="${tg.url('/analizadores/agregar_alfabeto', 
                                            {'id_analizador_lexico':analizador.id_analizador_lexico, 
                                            'id_alfabeto':alfabeto.id_alfabeto})}">
				    <input class="alignAgregarAlfabetosAnalizador" name="agregarAlfabeto" type="button" value=""/>
				 </a>
			    </td>
			</tr>
		</py:for>
	    </table>

	    <p class="pagelist">
		<a class="prevPage" href="${tg.url('/analizadores/agregar_alfabetos',{'page':currentPage.previous_page,
                                          'id_analizador_lexico':analizador.id_analizador_lexico})}">&nbsp;</a>
		${currentPage.pager(format='~3~', page_param='page', show_if_single_page=True)}
		<a class="nextPage" href="${tg.url('/analizadores/agregar_alfabetos',{'page':currentPage.next_page,
                                          'id_analizador_lexico':analizador.id_analizador_lexico})}">&nbsp;</a>
	    </p>

    </body>
</html>
